indécidable

indécidable

indécidable [ ɛ̃desidabl ] adj.
• 1957; de 1. in- et décidable, p.-ê. d'apr. l'angl. undecidable
♦ Log. Qui n'est pas décidable. Proposition indécidable. — N. f. INDÉCIDABILITÉ .

● indécidable adjectif Se dit d'une relation qui n'est ni vraie ni fausse. ● indécidable (expressions) adjectif Formule indécidable, dans une théorie mathématique, formule qui ne peut être ni démontrée ni réfutée. Théorie indécidable, théorie qui a la propriété d'indécidabilité. ● indécidable (synonymes) adjectif Se dit d'une relation qui n'est ni vraie ni fausse.
Contraires :
- décidable

indécidable [ɛ̃desidabl] adj. et n. m.
ÉTYM. 1957; de 1. in-, et décidable, p.-ê. d'après l'angl. undecidable.
❖
♦ Log. Qui n'est pas décidable. || Une proposition indécidable.
♦ N. m. || Les indécidables en mathématiques.
❖
CONTR. Décidable.

Encyclopédie Universelle. 2012.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Proposition indécidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Formule indécidable — ● Formule indécidable dans une théorie mathématique, formule qui ne peut être ni démontrée ni réfutée …   Encyclopédie Universelle

  • Théorie indécidable — ● Théorie indécidable théorie qui a la propriété d indécidabilité …   Encyclopédie Universelle

  • indécidabilité — indécidable [ ɛ̃desidabl ] adj. • 1957; de 1. in et décidable, p. ê. d apr. l angl. undecidable ♦ Log. Qui n est pas décidable. Proposition indécidable. N. f. INDÉCIDABILITÉ . ● indécidabilité nom féminin Propriété d une formule indécidable.… …   Encyclopédie Universelle

  • Decidabilite et indecidabilite — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

  • Décidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Décidabilité Et Indécidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Décidabilité et indécidabilité — En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s agit de formaliser l idée qu… …   Wikipédia en Français

  • Décidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”